AutoBoolCase $b$